Open pit coal mining